21. Degree theory for operators of monotone type and nonlinear elliptic equations with inequality constraints
Author: Aizicovici, Sergiu, 8491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Differential equations, Elliptic,، Differential equations, Nonlinear,، Variational inequalities )Mathematics(,، Topological degree,، Monotone operators
Classification :
QA
3
.
A475
no
.
915
22. Degree theory for operators of monotone type and nonlinear elliptic equations with inequality constraints
Author: Aizicovici, Sergiu
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Differential equations, Elliptic,، Differential equations, Nonlinear,، Variational inequalities )Mathematics(,، Topological degree,، Monotone operators
Classification :
QA
377
.
A529
2008
23. Extensional constructs in intensional type theory.
Author: Martin Hofmann
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
M378
2012
24. Fixed point theory for Lipschitzian-type mappings with applications
Author: Agarwal, Ravi P.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Fixed point theory
Classification :
QA
329
.
9
.
A36
25. Fixed point theory for Lipschitzian-type mappings with applications
Author: Agarwal, Ravi P.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Fixed point theory
Classification :
QA
329
.
9
.
A33
2009
26. theory on the relational modern of data,including a comprehensive model of type in heritance
Author: By C.J.Date and Hugh,Darvin
Library: Vali Asr University Central Library (Kerman)
Subject: Object -oriented databases
Classification :
QA
76
.
9
.
D3
,
D3683
2000
27. theory on the relational modern of data,including a comprehensive model of type in heritance
Author: By C.J.Date and Hugh,Darvin
Library: Vali Asr University Central Library (Kerman)
Subject: Object -oriented databases
Classification :
QA
76
.
9
.
D3
,
D3683
2000
28. theory on the relational model of data, including a comprehensive model of type inheritance
Author: Date, C. J.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Object-oriented databases,، Relational databases
Classification :
QA
76
.
9
.
D3
.
D3683
2000
29. 2 Fuzzy Logic Control: Theory and Applications-Introduction to Type
Author: / Mendel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL &AUTOMATION
Classification :
E-BOOK
30. Intuitionistic type theory
Author: Martin-Lof, Per, 2491-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Addresses, essays, lectures ، Type theory
Classification :
QA
9
.
M329
31. Korovkin-type approximation theory and its applications
Author: Altomare, Francesco, 1591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Approximation theory
Classification :
QA
221
.
A55
32. Linking Game-Theoretical Approaches With Constructive Type Theory
Author: \ Nicolas Clerbout, Shahid Rahman
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject:
Classification :
E-book
,
33. Littlewood-Paley theory on spaces of homogeneous type and the classical function spaces /
Author: Y.S. Han, E.T. Sawyer
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Function spaces,Hardy spaces,Littlewood-Paley theory,Multipliers (Mathematical analysis)
Classification :
QA403
.
5
.
A57
no
.
530
34. Max Weber's ideal type theory
Author: Rogers, Rolf
Library: The library, the center of scientific documents and research institutes of the hawzeh and university (Qom)
Subject: ، Weber, Max, 4681 - 0291,، Social Sciences - Methodology
Classification :
H
61
.
R6M3
1969
35. Noncovariant gauges : quantization of Yang-Mills and Chern-Simons theory in axial-type gauges
Author: Leibbrandt, George
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Yang-Mills theory,، Gauge fields )Physics(
Classification :
QC
174
.
52
.
Y37L4
36. Noncovariant gauges : quantization of Yang-Mills and Chern-Simons theory in axial-type gauges
Author: Leibbrandt, George.
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Yang-Mills theory , Gauge fields )Physics(
Classification :
QC
174
.
52
.
Y37
L45
1994
37. Noncovariant gauges : quantization of Yang-Mills and Chern-Simons theory in axial-type gauges
Author: Leibbrandt, George.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Yang-Mills theory,، Gauge fields )Physics(
Classification :
QC
174
.
52
.
Y37
.
L45
1994
38. Objective physics: including formulae, units, relevant theory, important information, objective
Author: Mital, H. P.
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Physics- Examinations, questions, etc
Classification :
QC
32
.
M57
1997
39. Proceedings of MEST 2012: Exponential Type Orbitals for Molecular Electronic Structure Theory
Author: / Hoggan, Philip E.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC&ENGINEERING, ELECTRICAL
Classification :
E-BOOK
40. Programming in Martin-Lof's type theory : an introduction
Author: Nordstrom, Bengt
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer programming,، Set theory
Classification :
QA
76
.
6
.
N66
1990
